Lindström quantifier